Dependability Modeling and Evaluation of Software Fault-Tolerant Systems
نویسندگان
چکیده
Abstmct-The paper provides dependability modeling and evaluation (encompassing reliability and safety issues) of the two major fault tolerance software approaches: recovery Mocks (RB) and N-version programming (NVP). The study is based on the detailed analysis of software fault-tolerance architectures able to tolerate a single fault (RB: two alternates and an acceptance test, NVP: three versions and a decider).
منابع مشابه
Software dependability modeling using an industry-standard architecture description language
Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This paper gives guidelines for building architectural dependability models for software systems using the AADL (Architecture Analysis and Design Language). It presents reusab...
متن کاملSoftware Dependability Modeling Using AADL (Architecture Analysis and Design Language)
In traditional development processes, each type of analysis is generally based on a dedicated model, which requires substantial amount of training to be used effectively. Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisions on the dependability of an application. This...
متن کاملPattern-Based Synthesis of Fault-Tolerant Embedded Systems∗
The general trend towards complex technical systems with embedded software results in an increasing demand for dependable embedded systems. In this position paper, we give an overview about a pattern-based approach for the development of fault-tolerant, component-based, embedded systems. Four aspects of this approach are addressed in this paper: (1) the approach is based on an appropriate model...
متن کاملApplication-Dependent Performability Evaluation of Fault-Tolerant Multiprocessors
Abstract A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functionality, actual workloads, failures of system components as well as the inter-component dependencies. Since the evaluation of such complex systems has to be performed already during the design phase, simulation...
متن کاملEvaluation of Software Dependability Based on Stability Test Data
This paper discusses a measurement-based approach to dependability evaluation of fault-tolerant, real-time software systems based on failure data collected from stability tests of an air traffic control system under development. Several dependability analysis techniques are illustrated with the data: parameter estimation, availability modeling of software from the task level, applications of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Trans. Computers
دوره 39 شماره
صفحات -
تاریخ انتشار 1990